ReP USP - Resultado da busca

Monografia/livro
Modelling and analysis of hybrid supervisory systems: a petri net approach (2007)
Villani, Emília ; Miyagi, Paulo Eigi ; Valette, Robert
Unidade: EP
Subjects: CONTROLE AUTOMÁTICO, MODELOS MATEMÁTICOS, ESTUDO DE CASO, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VILLANI, Emília e MIYAGI, Paulo Eigi e VALETTE, Robert. Modelling and analysis of hybrid supervisory systems: a petri net approach. . London: Springer Verlag. Disponível em: https://repositorio.usp.br/directbitstream/c397cdde-e1aa-49a7-9ec8-5b8dfd3142b9/Miyagi-2007-modelling%20and%20analysis%20of%20hybrid%20supervisory-pagina%20de%20rosto%20de%20livro.pdf. Acesso em: 28 abr. 2024. , 2007
APA
Villani, E., Miyagi, P. E., & Valette, R. (2007). Modelling and analysis of hybrid supervisory systems: a petri net approach. London: Springer Verlag. Recuperado de https://repositorio.usp.br/directbitstream/c397cdde-e1aa-49a7-9ec8-5b8dfd3142b9/Miyagi-2007-modelling%20and%20analysis%20of%20hybrid%20supervisory-pagina%20de%20rosto%20de%20livro.pdf
NLM
Villani E, Miyagi PE, Valette R. Modelling and analysis of hybrid supervisory systems: a petri net approach [Internet]. 2007 ;[citado 2024 abr. 28 ] Available from: https://repositorio.usp.br/directbitstream/c397cdde-e1aa-49a7-9ec8-5b8dfd3142b9/Miyagi-2007-modelling%20and%20analysis%20of%20hybrid%20supervisory-pagina%20de%20rosto%20de%20livro.pdf
Vancouver
Villani E, Miyagi PE, Valette R. Modelling and analysis of hybrid supervisory systems: a petri net approach [Internet]. 2007 ;[citado 2024 abr. 28 ] Available from: https://repositorio.usp.br/directbitstream/c397cdde-e1aa-49a7-9ec8-5b8dfd3142b9/Miyagi-2007-modelling%20and%20analysis%20of%20hybrid%20supervisory-pagina%20de%20rosto%20de%20livro.pdf
Artigo de periodico
Landing system verification based on petri nets and a hybrid approach (2006)
Villani, Emília ; Valette, Robert; Miyagi, Paulo Eigi
Source: IEEE Transactions on Aerospace and Electronic Systems. Unidade: EP
Subjects: AERONAVES, SISTEMAS DE CONTROLE, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VILLANI, Emília e VALETTE, Robert e MIYAGI, Paulo Eigi. Landing system verification based on petri nets and a hybrid approach. IEEE Transactions on Aerospace and Electronic Systems, v. 42, n. 4, p. 1420-1436, 2006Tradução . . Disponível em: https://doi.org/10.1109/taes.2006.314582. Acesso em: 28 abr. 2024.
APA
Villani, E., Valette, R., & Miyagi, P. E. (2006). Landing system verification based on petri nets and a hybrid approach. IEEE Transactions on Aerospace and Electronic Systems, 42( 4), 1420-1436. doi:10.1109/taes.2006.314582
NLM
Villani E, Valette R, Miyagi PE. Landing system verification based on petri nets and a hybrid approach [Internet]. IEEE Transactions on Aerospace and Electronic Systems. 2006 ; 42( 4): 1420-1436.[citado 2024 abr. 28 ] Available from: https://doi.org/10.1109/taes.2006.314582
Vancouver
Villani E, Valette R, Miyagi PE. Landing system verification based on petri nets and a hybrid approach [Internet]. IEEE Transactions on Aerospace and Electronic Systems. 2006 ; 42( 4): 1420-1436.[citado 2024 abr. 28 ] Available from: https://doi.org/10.1109/taes.2006.314582
Parte de monografia/livro
Petri net and OO for the modular analysis of an aircraft landing system (2004)
Villani, Emília ; Junqueira, Fabrício ; Miyagi, Paulo Eigi ; Valette, Robert
Source: Mechatronics. Unidade: EP
Subjects: REDES DE PETRI, CONTROLE AUTOMÁTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VILLANI, Emília et al. Petri net and OO for the modular analysis of an aircraft landing system. Mechatronics. Tradução . Rio de Janeiro: ABCM, 2004. . Disponível em: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_08.pdf. Acesso em: 28 abr. 2024.
APA
Villani, E., Junqueira, F., Miyagi, P. E., & Valette, R. (2004). Petri net and OO for the modular analysis of an aircraft landing system. In Mechatronics. Rio de Janeiro: ABCM. Recuperado de http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_08.pdf
NLM
Villani E, Junqueira F, Miyagi PE, Valette R. Petri net and OO for the modular analysis of an aircraft landing system [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 abr. 28 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_08.pdf
Vancouver
Villani E, Junqueira F, Miyagi PE, Valette R. Petri net and OO for the modular analysis of an aircraft landing system [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 abr. 28 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_08.pdf
Artigo de periodico
Object oriented approach for cane sugar production: modelling and analysis (2004)
Villani, Emília ; Pascal, J. C.; Miyagi, Paulo Eigi ; Valette, Robert
Source: Control Engineering Practice. Unidade: EP
Subjects: REDES DE PETRI, SISTEMAS DINÂMICOS, SISTEMAS DE CONTROLE, PROGRAMAÇÃO ORIENTADA A OBJETOS, CANA-DE-AÇÚCAR (PRODUÇÃO), MODELOS MATEMÁTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VILLANI, Emília et al. Object oriented approach for cane sugar production: modelling and analysis. Control Engineering Practice, v. 12, p. 1279-1289, 2004Tradução . . Disponível em: https://doi.org/10.1016/j.conengprac.2004.04.011. Acesso em: 28 abr. 2024.
APA
Villani, E., Pascal, J. C., Miyagi, P. E., & Valette, R. (2004). Object oriented approach for cane sugar production: modelling and analysis. Control Engineering Practice, 12, 1279-1289. doi:10.1016/j.conengprac.2004.04.011
NLM
Villani E, Pascal JC, Miyagi PE, Valette R. Object oriented approach for cane sugar production: modelling and analysis [Internet]. Control Engineering Practice. 2004 ; 12 1279-1289.[citado 2024 abr. 28 ] Available from: https://doi.org/10.1016/j.conengprac.2004.04.011
Vancouver
Villani E, Pascal JC, Miyagi PE, Valette R. Object oriented approach for cane sugar production: modelling and analysis [Internet]. Control Engineering Practice. 2004 ; 12 1279-1289.[citado 2024 abr. 28 ] Available from: https://doi.org/10.1016/j.conengprac.2004.04.011
Trabalho de evento
Petri nets and OO for the modular analysis of an aircraft Landing system (2003)
Villani, Emília ; Junqueira, Fabrício ; Miyagi, Paulo Eigi ; Valette, Robert
Source: COBEM 2003: proceedings. Conference titles: International Congress of Mechanical Engineering. Unidade: EP
Assunto: REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VILLANI, Emília et al. Petri nets and OO for the modular analysis of an aircraft Landing system. 2003, Anais.. São Paulo: ABCM, 2003. Disponível em: https://repositorio.usp.br/directbitstream/9b079e46-29d8-4ae0-a468-c26ec80c88e1/Junqueira-2003-PETRI%20NET%20AND%20OO%20FOR%20THE%20MODULAR%20ANALYSIS%20OF%20AN%20AIRCRAFT%20ok.pdf. Acesso em: 28 abr. 2024.
APA
Villani, E., Junqueira, F., Miyagi, P. E., & Valette, R. (2003). Petri nets and OO for the modular analysis of an aircraft Landing system. In COBEM 2003: proceedings. São Paulo: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/9b079e46-29d8-4ae0-a468-c26ec80c88e1/Junqueira-2003-PETRI%20NET%20AND%20OO%20FOR%20THE%20MODULAR%20ANALYSIS%20OF%20AN%20AIRCRAFT%20ok.pdf
NLM
Villani E, Junqueira F, Miyagi PE, Valette R. Petri nets and OO for the modular analysis of an aircraft Landing system [Internet]. COBEM 2003: proceedings. 2003 ;[citado 2024 abr. 28 ] Available from: https://repositorio.usp.br/directbitstream/9b079e46-29d8-4ae0-a468-c26ec80c88e1/Junqueira-2003-PETRI%20NET%20AND%20OO%20FOR%20THE%20MODULAR%20ANALYSIS%20OF%20AN%20AIRCRAFT%20ok.pdf
Vancouver
Villani E, Junqueira F, Miyagi PE, Valette R. Petri nets and OO for the modular analysis of an aircraft Landing system [Internet]. COBEM 2003: proceedings. 2003 ;[citado 2024 abr. 28 ] Available from: https://repositorio.usp.br/directbitstream/9b079e46-29d8-4ae0-a468-c26ec80c88e1/Junqueira-2003-PETRI%20NET%20AND%20OO%20FOR%20THE%20MODULAR%20ANALYSIS%20OF%20AN%20AIRCRAFT%20ok.pdf
Trabalho de evento
Differential predicate transition petri nets and objects, an aid for proving properties in hybrid systems (2003)
Villani, Emília ; Pascal, J. C.; Miyagi, Paulo Eigi ; Valette, Robert
Source: ADHS 03 : pre-prints.. Conference titles: IFAC Conference on Analysis and Design of Hybrid Systems. Unidade: EP
Subjects: REDES DE PETRI, PROGRAMAÇÃO ORIENTADA A OBJETOS, EQUAÇÕES DIFERENCIAIS, MODELOS MATEMÁTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VILLANI, Emília et al. Differential predicate transition petri nets and objects, an aid for proving properties in hybrid systems. 2003, Anais.. Saint-Malo: IFAC, 2003. Disponível em: https://repositorio.usp.br/directbitstream/6bc210fa-e9b6-4b89-921d-6b872989f79c/Miyagi-2003-differential%20predicate%20transition%20petri%20nets-ADHS.pdf. Acesso em: 28 abr. 2024.
APA
Villani, E., Pascal, J. C., Miyagi, P. E., & Valette, R. (2003). Differential predicate transition petri nets and objects, an aid for proving properties in hybrid systems. In ADHS 03 : pre-prints.. Saint-Malo: IFAC. Recuperado de https://repositorio.usp.br/directbitstream/6bc210fa-e9b6-4b89-921d-6b872989f79c/Miyagi-2003-differential%20predicate%20transition%20petri%20nets-ADHS.pdf
NLM
Villani E, Pascal JC, Miyagi PE, Valette R. Differential predicate transition petri nets and objects, an aid for proving properties in hybrid systems [Internet]. ADHS 03 : pre-prints. 2003 ;[citado 2024 abr. 28 ] Available from: https://repositorio.usp.br/directbitstream/6bc210fa-e9b6-4b89-921d-6b872989f79c/Miyagi-2003-differential%20predicate%20transition%20petri%20nets-ADHS.pdf
Vancouver
Villani E, Pascal JC, Miyagi PE, Valette R. Differential predicate transition petri nets and objects, an aid for proving properties in hybrid systems [Internet]. ADHS 03 : pre-prints. 2003 ;[citado 2024 abr. 28 ] Available from: https://repositorio.usp.br/directbitstream/6bc210fa-e9b6-4b89-921d-6b872989f79c/Miyagi-2003-differential%20predicate%20transition%20petri%20nets-ADHS.pdf
Trabalho de evento
Petri-Nets and object-oriented approach for the analysis hybrid systems (2002)
Villani, Emília ; Miyagi, Paulo Eigi ; Valette, Robert
Source: Anais. Conference titles: Congresso Brasileiro de Automática. Unidade: EP
Subjects: REDES DE PETRI, LÓGICA MATEMÁTICA, PROGRAMAÇÃO ORIENTADA A OBJETOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VILLANI, Emília e MIYAGI, Paulo Eigi e VALETTE, Robert. Petri-Nets and object-oriented approach for the analysis hybrid systems. 2002, Anais.. Natal: UFRGN, 2002. Disponível em: https://repositorio.usp.br/directbitstream/4d32ef0d-34cf-4cdd-adcc-c7bbf89156e2/Miyagi-2002-Petri-nets%20And%20Object-oriented%20Approach%20For%20The%20Analysis%20Of%20Hybrid%20Systems%20ok.pdf. Acesso em: 28 abr. 2024.
APA
Villani, E., Miyagi, P. E., & Valette, R. (2002). Petri-Nets and object-oriented approach for the analysis hybrid systems. In Anais. Natal: UFRGN. Recuperado de https://repositorio.usp.br/directbitstream/4d32ef0d-34cf-4cdd-adcc-c7bbf89156e2/Miyagi-2002-Petri-nets%20And%20Object-oriented%20Approach%20For%20The%20Analysis%20Of%20Hybrid%20Systems%20ok.pdf
NLM
Villani E, Miyagi PE, Valette R. Petri-Nets and object-oriented approach for the analysis hybrid systems [Internet]. Anais. 2002 ;[citado 2024 abr. 28 ] Available from: https://repositorio.usp.br/directbitstream/4d32ef0d-34cf-4cdd-adcc-c7bbf89156e2/Miyagi-2002-Petri-nets%20And%20Object-oriented%20Approach%20For%20The%20Analysis%20Of%20Hybrid%20Systems%20ok.pdf
Vancouver
Villani E, Miyagi PE, Valette R. Petri-Nets and object-oriented approach for the analysis hybrid systems [Internet]. Anais. 2002 ;[citado 2024 abr. 28 ] Available from: https://repositorio.usp.br/directbitstream/4d32ef0d-34cf-4cdd-adcc-c7bbf89156e2/Miyagi-2002-Petri-nets%20And%20Object-oriented%20Approach%20For%20The%20Analysis%20Of%20Hybrid%20Systems%20ok.pdf
Trabalho de evento
An object-oriented approach for hybrid system modelling (2002)
Villani, Emília ; Miyagi, Paulo Eigi ; Valette, Robert
Source: Proceedings. Conference titles: Triennial World Congress of the International Federation of Automatic Control. Unidade: EP
Subjects: REDES DE PETRI, EQUAÇÕES DE DIFERENÇA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VILLANI, Emília e MIYAGI, Paulo Eigi e VALETTE, Robert. An object-oriented approach for hybrid system modelling. 2002, Anais.. Kindlington, Oxford: Elsevier, 2002. Disponível em: https://doi.org/10.3182/20020721-6-ES-1901.00551. Acesso em: 28 abr. 2024.
APA
Villani, E., Miyagi, P. E., & Valette, R. (2002). An object-oriented approach for hybrid system modelling. In Proceedings. Kindlington, Oxford: Elsevier. doi:10.3182/20020721-6-ES-1901.00551
NLM
Villani E, Miyagi PE, Valette R. An object-oriented approach for hybrid system modelling [Internet]. Proceedings. 2002 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.3182/20020721-6-ES-1901.00551
Vancouver
Villani E, Miyagi PE, Valette R. An object-oriented approach for hybrid system modelling [Internet]. Proceedings. 2002 ;[citado 2024 abr. 28 ] Available from: https://doi.org/10.3182/20020721-6-ES-1901.00551
Trabalho de evento
Redes de Petri e orientação a objetos para o desenvolvimento de sistemas hídricos (2001)
Villani, Emília ; Miyagi, Paulo Eigi ; Valette, Robert
Source: COBEM 2001: anais. Conference titles: Congresso Brasileiro de Engenharia Mecânica. Unidade: EP
Subjects: REDES DE PETRI, SISTEMAS DE CONTROLE, PROCESSAMENTO DIGITAL DE IMAGENS, USINAGEM
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VILLANI, Emília e MIYAGI, Paulo Eigi e VALETTE, Robert. Redes de Petri e orientação a objetos para o desenvolvimento de sistemas hídricos. 2001, Anais.. Uberlândia: ABCM, 2001. Disponível em: https://repositorio.usp.br/directbitstream/b990c33d-bd52-4440-b323-f05343c6386c/Miyagi-2001-REDES%20DE%20PETRI%20E%20ORIENTA%C3%87%20%C3%83O%20A%20OBJETOS-%20Cobem.pdf. Acesso em: 28 abr. 2024.
APA
Villani, E., Miyagi, P. E., & Valette, R. (2001). Redes de Petri e orientação a objetos para o desenvolvimento de sistemas hídricos. In COBEM 2001: anais. Uberlândia: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/b990c33d-bd52-4440-b323-f05343c6386c/Miyagi-2001-REDES%20DE%20PETRI%20E%20ORIENTA%C3%87%20%C3%83O%20A%20OBJETOS-%20Cobem.pdf
NLM
Villani E, Miyagi PE, Valette R. Redes de Petri e orientação a objetos para o desenvolvimento de sistemas hídricos [Internet]. COBEM 2001: anais. 2001 ;[citado 2024 abr. 28 ] Available from: https://repositorio.usp.br/directbitstream/b990c33d-bd52-4440-b323-f05343c6386c/Miyagi-2001-REDES%20DE%20PETRI%20E%20ORIENTA%C3%87%20%C3%83O%20A%20OBJETOS-%20Cobem.pdf
Vancouver
Villani E, Miyagi PE, Valette R. Redes de Petri e orientação a objetos para o desenvolvimento de sistemas hídricos [Internet]. COBEM 2001: anais. 2001 ;[citado 2024 abr. 28 ] Available from: https://repositorio.usp.br/directbitstream/b990c33d-bd52-4440-b323-f05343c6386c/Miyagi-2001-REDES%20DE%20PETRI%20E%20ORIENTA%C3%87%20%C3%83O%20A%20OBJETOS-%20Cobem.pdf

USP Schools

ReP

Filtros

Date published

Subjects

Source title

Publisher

Conference titles